a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things
ایک تجویز کی ایک منطقی مقدار میں اس کو تسلیم کرتا ہے کہ یہ تجویز ایک کلاس کے تمام ممبروں کے لئے سچ ہے